Deductive Spatial Reasoning: A Computational and a Cognitive Perspective
نویسندگان
چکیده
In recent years a number of different cognitive theories that explain human reasoning processes have been developed. This paper focusses on two broadly discussed theories: the theory of mental logic and the theory of mental models. Both theories are presented and analyzed in formal terms and compared with respect to their explanatory and predictive power. Our claim is that only a precise computational model can classify reasoning problems and can help to formulate new predictions.
منابع مشابه
Pii: S0364-0213(01)00056-8
One of the most debated questions in psychology and cognitive science is the nature and the functioning of the mental processes involved in deductive reasoning. However, all existing theories refer to a specific deductive domain, like syllogistic, propositional or relational reasoning. Our goal is to unify the main types of deductive reasoning into a single set of basic procedures. In particula...
متن کاملA model for relational reasoning as verbal reasoning
Deductive reasoning is an essential part of complex cognition. It occurs whenever human beings (or machines) draw conclusions that go beyond what is explicitly provided. Reasoning about spatial relations is an excellent testbed for the assessment of competing reasoning theories. In the present paper we show that such competing theories are often less diverse than one might think. We introduce a...
متن کاملSpatial Reasoning as Verbal Reasoning
We introduce an approach for how spatial reasoning can be conceived as verbal reasoning. We describe a theory of how humans construct a mental representation given onedimensional spatial relations. In this construction process objects are inserted in a dynamic structure called a “queue” which provides an implicit direction. The spatial interpretation of this direction can be chosen freely. This...
متن کاملAn ACT-R Approach to Reasoning about Spatial Relations with Preferred and Alternative Mental Models
A computational model of spatial relational reasoning implemented in the ACT-R cognitive architecture allows for the simulation of a wide range of behavioral data in the context of both determinate and indeterminate deductive spatial reasoning tasks. In that respect the presented study bridges the gap between results of previous work that investigated determinacy conditions separately. ACT-R’s ...
متن کاملThe Manipulation of Images to Handle Indeterminacy in Spatial Reasoning
In this article, we propose a novel method for using images to do spatial reasoning. The task we consider is to answer questions about descriptions involving spatial prepositional phrases. Psychological experiments suggest that imagery is an appropriate cognitive model of how people solve such problems when descriptions are determinate. However, natural language discourse often contains indeter...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- KI
دوره 22 شماره
صفحات -
تاریخ انتشار 2008